Nuprl Definition : listp
11,40
postcript
pdf
listp(
A
) == {
l
:
A
List|
0 <z ||
l
||}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
type
List
,
b
,
i
<z
j
,
#$n
,
||
as
||
FDL editor aliases
listp
origin
0 <z ||l||} 0 <z ||l||} b